reducibility axiom
可约性公理
热门查询
- enforceable adj. 可实施的；可强行的；可强迫的
- tamarack n. 美洲落叶松（等于Larix laricina）；美洲落叶松木材
- mete vt. 给予；分配；测量 n. 边界；测量 n. (Mete)人名；(意、土、乍、中非)梅特
- deadwood n. 枯枝；朽木；碎屑 n. (Deadwood)人名；(英)戴德伍德
- cordillera n. 山脉
- farrow n. 一窝小猪；猪的一胎 n. (Farrow)人名；(英)法罗 adj. （母牛）未怀孕的 vt. 产（仔猪） vi. 产小猪
- fracas n. 吵闹；喧噪 n. (Fracas)人名；(意)弗拉卡斯
- cholla n. 仙人掌（产于美国西南部及墨西哥）；多刺仙人掌，结节仙人掌
- countermove n. 对抗手段；报复行动 vt. 采取报复手段 vi. 采取对抗行动
- everytime 每次; 每当; 每到
- IBM abbr. 美国国际商用机器公司（International Business Machine）
- invariant n. [数] 不变量；[计] 不变式 adj. 不变的
- notoriously adv. 众所周知地；声名狼藉地；恶名昭彰地
- unrecognized adj. 未被承认的；未被认出的；未被认可的
- landmass n. 大陆
- infidel n. 异教徒；无信仰者 adj. 异教徒的；无宗教信仰的
- hemming n. 卷边；车脚；还口 v. 缝褶边；包围；说话吞吞吐吐；清嗓子（hem的ing形式）
- sexualized vt. 使有性特征；使有性别
- pain n. 疼痛；努力 vt. 使…痛苦；使…烦恼 vi. 感到疼痛；引起疼痛 n. (Pain)人名；(意)帕因；(俄)派因；(法)潘；(英)佩因
- haversack n. 干粮袋；背袋
